Temporal Properties Underlying Multimedia Presentations with Z Notations

نویسندگان

  • Timothy K. Shih
  • Huan-Chao Keh
  • Ying-Hong Wang
  • Ying-Feng Kuo
چکیده

Formal specifications use mathematical notations to precisely describe what properties a system need to have instead of how these properties are implemented. The Z notation is a formal specification language widely used in Europe. In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal specification statements that we propose in this paper. The system visualizes the design of a multimedia presentation. Our early experience in using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamic Generation of Intelligent Multimedia Presentations through Semantic Inferencing

This paper first proposes a high-level architecture for semi-automatically generating multimedia presentations by combining semantic inferencing with multimedia presentation generation tools. It then describes a system, based on this architecture, which was developed as a service to run over OAI archives but is applicable to any repositories containing mixed-media resources described using Dubl...

متن کامل

Querying Multimedia Presentations Based on Content

In this paper, we consider the problem of querying multimedia presentations based on content information. We believe that presentations should become an integral part of multimedia database systems, and users should be able to store, query, and possibly manipulate multimedia presentations using a single database management system software. Multimedia presentations are modeled as presentation gr...

متن کامل

A Spatial/Temporal Relation Computing Technology for Multimedia Presentation Designs

Relations among temporal intervals can be used to assist the automatic generation of multimedia presentations. In this paper, we analyze the domains of interval temporal relations. A set of algorithms is proposed to derive reasonable relations between intervals. Possible con icts in the user speci cation are rstly detected and eliminated. Our mechanism then constructs partial order relations am...

متن کامل

Flexible disk scheduling for multimedia presentation servers

Objects composing a multimedia presentation need to be delivered based on the temporal relationships specified by the author(s). Hence, even discrete media objects (that do not normally have any real-time characteristics) have temporal constraints on their presentations. Composition of multimedia presentations can vary widely. Based on their composition, we can consider three broad categories o...

متن کامل

A Software Engineering Approach to Multimedia Presentation Designs

In this paper, we discuss a new authoring system for the stepwise re nement of multimedia presentations. The proposed system is based on data ow and control ow diagrams, with many enhanced notations especially useful for multimedia presentation designs. Presentation designers can use our system to quickly develop a prototype presentation, and re ne it step by step toward a nal presentation. A m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Inf. Sci. Eng.

دوره 15  شماره 

صفحات  -

تاریخ انتشار 1999